A Model-based Semantics for Integrity in Deductive Databases
ثبت نشده
چکیده
[DCe] Decker, Celma: A slick procedure for integrity checking in deductive databases , Proc.
منابع مشابه
Paraconsistency in the semantics of integrity constraints
Deductive databases are paraconsistent theory systems which change over time. They do not support the inference of arbitrary consequences from inconsistent components, such as contradictory definitions of database relations (predicates) or violated integrity constraints. Moreover, computed answers in deductive databases typically make sense, almost no matter to which degree consistency or integ...
متن کاملIntuitionistic Interpretation of Deductive Databases with Incomplete Information
Dong, F. and L.V.S. Lakshmanan, Intuitionistic interpretation of deductive databases with incomplete information, Theoretical Computer Science 133 (1994) 267-306. The aim of this paper is to build the relationship between deductive databases with incomplete information and hypothetical reasoning using embedded implications. We first consider the semantics of deductive databases with incomplete ...
متن کاملthe LMU München, where this paper was written. A preliminary version was
Deductive databases are paraconsistent theory systems which change over time. They do not support the inference of arbitrary consequences from inconsistent components, such as contradictory definitions of database relations (predicates) or violated integrity constraints. Moreover, computed answers in deductive databases typically make sense, almost no matter to which degree consistency or integ...
متن کامل1 Active Behaviour in Deductive Databases 30 March 1996
This paper reports work in progress on active and deductive databases. Active rules are used for a variety of purposes, prominent amongst which are integrity enforcement, view maintenance and actions output to the environment. In this paper we argue that a package of deductive databases, temporal reasoning, integrity enforcement and abduction captures and possibly extends the first two main use...
متن کاملUpdate Control in Deductive Object Bases1
Deductive object bases are a combination of both deductive and objectoriented databases. This dissertation investigates the problem of update control for such databases. The data model is defined as an extreme case of a deductive database with only one extensional predicate and a multitude of axioms defining the object-oriented abstraction concepts. The advantages are twofold: a distinct concep...
متن کامل